(DE POO (X) (COND ((EQ X @R) 1)((EQ X @W)2)((EQ X @G)4)(T 10)))

(DE ZAP (V) (COND ((NULL V) 0) (T (PLUS (POO (CAR V))
		(TIMES 20 (ZAP (CDR V)))))))

(SETQ PUZZA (MAPCAR (FUNCTION (LAMBDA (X) (MAPCAR (FUNCTION ZAP) X)))
		PUZZ))

(DE LOSE (P) NIL)

(DE TER (P) (EQUAL (CAR P) 4))

(DE SUCCESSORS (P) (MAPCHOOSE (FUNCTION (LAMBDA (X) (ZEROP (BOOLE 1 (CADR P) X))))
	(FUNCTION (LAMBDA (X) (LIST (ADD1 (CAR P)) (BOOLE 7 (CADR P) X)
(CONS X (CADDR P)))))
	(CAR (NTH PUZZA (ADD1 (CAR P))))))